Making explicit domain knowledge in formal system development
نویسندگان
چکیده
منابع مشابه
Knowledge Annotation: Making Implicit Knowledge Explicit
Change your habit to hang or waste the time to only chat with your friends. It is done by your everyday, don't you feel bored? Now, we will show you the new habit that, actually it's a very old habit to do that can make your life more qualified. When feeling bored of always chatting with your friends all free time, you can find the book enPDF knowledge annotation making implicit knowledge expli...
متن کاملExplicit Domain Knowledge in Software Engineering
This research is about making knowledge about the domain of software applications explicit and separating it from other concerns of the software, thus enhancing software understandability, software maintenance, and software reuse. To achieve this we use existing knowledge representation technologies from AI in state-of-the-art software engineering. Our approach is not unlike the principles Aspe...
متن کاملMaking knowledge explicit: How hard it is
Artemov’s logic of proofs LP is a complete calculus of propositions and proofs, which is now becoming a foundation for the evidence-based approach to reasoning about knowledge. Additional atoms in LP have form t : F , read as “t is a proof of F” (or, more generally, as “t is an evidence for F”) for an appropriate system of terms t called proof polynomials. In this paper, we answer two well-know...
متن کاملExplicit Knowledge Transfers in New Product Development
The literature on learning in new product development (NPD) documents the processes globally but is short on specifics. Knowledge levels are not clearly conceptualized, nor are there clear devices for documenting knowledge transfers in terms of knowledge levels. This paper presents the methods of a qualitative research approach for measuring knowledge transfer directly in terms of knowledge. Th...
متن کاملExploiting Domain Knowledge in Making Delegation Decisions
In multi-agent systems, agents often depend on others to act on their behalf. However, delegation decisions are complicated in normgoverned environments, where agents’ activities are regulated by policies. Especially when such policies are not public, learning these policies become critical to estimate the outcome of delegation decisions. In this paper, we propose the use of domain knowledge in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2016
ISSN: 0167-6423
DOI: 10.1016/j.scico.2015.12.004